package exceptionsthrown;

import exceptionsthrown.ExceptionsThrownMatch;
import exceptionsthrown.ExceptionsThrownMatcher;
import org.eclipse.viatra2.emf.incquery.runtime.api.IncQueryEngine;
import org.eclipse.viatra2.emf.incquery.runtime.api.impl.BaseGeneratedMatcherFactory;
import org.eclipse.viatra2.emf.incquery.runtime.exception.IncQueryRuntimeException;

/**
 * A pattern-specific matcher factory that can instantiate ExceptionsThrownMatcher in a type-safe way.
 * 
 * @see ExceptionsThrownMatcher
 * @see ExceptionsThrownMatch
 * 
 */
public class ExceptionsThrownMatcherFactory extends BaseGeneratedMatcherFactory<ExceptionsThrownMatch,ExceptionsThrownMatcher> {
  @Override
  protected ExceptionsThrownMatcher instantiate(final IncQueryEngine engine) throws IncQueryRuntimeException {
    return new ExceptionsThrownMatcher(engine);
    
  }
  
  @Override
  protected String getBundleName() {
    return "hu.bme.mit.inf.omgi.queries";
    
  }
  
  @Override
  protected String patternName() {
    return "ExceptionsThrown";
    
  }
}
